integral of cos(x)sin^7(x)